航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

机载托架自动校准系统的设计与实现

为了解决机载托架传统校准方法精度低、耗时、费力等问题,设计了一种高精度、高效率并且操作简单的成品托架自动校准系统。该系统运用调平精度较高的"循环多次"最高点不动调平方法,建立高精度机载托架校准的静力学数学模型,运用VC与Matlab的COM接口编程技术开发机载托架自动校准系统,并建立良好的人机交互界面。试验结果表明,利用该方法对机载托架进行校准,无论是校准精度还是校准效率都较传统方法有很大提高。     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

Review and propositions for the sliding/impact wear behavior in a contact interface

A thermal-solid-liquid complex operational environment induces structural interface developing a typical coupling sliding/impact wear behavior. It results in contact damage until systems fail, which may cause significant economic losses and catastrophic consequences. The key point of solving this problem is to reveal the coupling damage mechanism of the sliding/impact behavior in typical systems and life characterization under a complicate evolving environment. This has been a hot topic in the area of mechanical reliability. The main work in this paper can be concluded as follows. Firstly, the main industries in which the “sliding/impact behavior” takes place have been introduced. Then, existing studies on the wear mechanism and degree analysis are presented, which includes surface morphology analysis, wear debris analysis, and wear degree measurement. Meanwhile, existing problems in theoretical modeling and experiments in current research are summarized, so as to point out a bright direction for future research on wear prediction. They include interface contact modeling, mathematic coupling mechanism modeling, wear equation establishment, and wear life characterization, which can provide some new ideas for improving the existing studies on the sliding/impact wear behavior.     

多点压力扫描阀测量系统在激波／湍流边界层干扰实验中的应用

多点压力测量是航空气动力研究及高性能流体机械研究中的重要测试手段。利用计算机和多点压力扫描阀系统，可以高效地完成这项任务，并可能在实验中实现数据采集及整个实验过程的自动化。我们利用ＨＰ１０００／Ａ７００计算机－ＨＰ２２５０－测控装置－压力传感器－高速扫描阀组成的测量控制系统，在超音速风洞内对激波／湍流边界层干扰产生的流场进行了快速多点压力数据采集，并取得了可靠的结果。本文对测试和校正过程中的程序设计、测试方法和应用经验进行了介绍。     

利用CAD工程图自动生成数控加工程序

本文介绍了利用工程图自动生成孔加工程序的方法。既可以自动选择图中不同尺寸的孔,又可以避免同一坐标位置多个同尺寸的圆的问题。同时又克服了手工编程容易出现错误的问题。也避免了其他自动编程软件需要在图上选择要加工的孔困难。     

大型内螺纹的数控铣削加工

介绍大型精密内螺纹旋风铣削加工的工艺方法和编程,主要针对螺纹直径为非标准、工件材质过硬且孔数较多的大型精密内螺纹的加工。实践表明,该方法加工效率高,且可严格控制螺纹的精度。     

紧凑热交换器优化设计

对各种传热表面的板翅式紧凑热交换器进行了优化设计计算，建立了通用优化程序系统。此程序既适用于一般地面热交换器，也适用于飞机空调中的热交换器。与传统的设计计算相比较，优化设计的效果很好。热交换优化后，肋片的形状变得更加合理，芯体传热表面更加紧。通过各种肋片的计算得出，条状肋片为板翅式肋片中的最佳者。     

交换式以太网传输数据生成和性能评价方法研究

先介绍交换式以太网传输数据流生成方法 ,即用接口控制文件 (ICD)对数据流行进行规范化定义 ,并采用数据库对ICD进行管理及生成仿真接口文件 (SID)。然后介绍交换式以太网建模仿真及性能评价方法 ,并用曲线对比法得出仿真结果和实测数据基本吻合的结论 ,论证仿真模型的正确性。数据库辅助仿真的设计方法克服了仿真过程中数据流录入的繁锁及重复性 ,大大节省时间 ,保证仿真数据流的正确性和一致性     

微重力环境中重力梯度加速度引起的流体晃动力和力矩的模拟

本文研究了关于旋转轴在贮箱的非对称轴上且远离贮箱的几何中心情况下，流体在微重力环境中由重力梯度加速度诱发的晃动特性。我们以精密Ｘ光光谱天文物理实验卫星（简称ＡＸＡＦ－Ｓ）作为研究对象，获得了由于旋转运动引起的重力梯度加速度的数学表达式。关于晃动问题的数值计算是用与卫星固连的非惯性坐标系为基础，目的是寻求一种较为易处理且适合于流体力学方程的边界和初始条件。通过数值计算获得了流体作用于卫星贮箱上的力和力矩。